Developing the Intervention and Outcome Components of a Proposed Randomised Controlled trial (RCT) of a National Screening Programme for Open Angle Glaucoma (OAG) : Medical Research Council funded trial platform study (G0701759): Study protocol

Postprin

Relative effectiveness of robot-assisted and standard laparoscopic prostatectomy as alternatives to open radical prostatectomy for treatment of localised prostate cancer : a systematic review and mixed treatment comparison meta-analysis

© 2013 The Authors. BJU International © 2013 BJU International.Peer reviewedPublisher PD

Initial Limit Datalog:a new extensible class of decidable constrained Horn clauses

We present initial limit Datalog, a new extensible class of constrained Horn clauses for which the satisfiability problem is decidable. The class may be viewed as a generalisation to higher-order logic (with a simple restriction on types) of the first-order language limit Datalog Z (a fragment of Datalog modulo linear integer arithmetic), but can be instantiated with any suitable background theory. For example, the fragment is decidable over any countable well-quasi-order with a decidable first-order theory, such as natural number vectors under componentwise linear arithmetic, and words of a bounded, context-free language ordered by the subword relation. Formulas of initial limit Datalog have the property that, under some assumptions on the background theory, their satisfiability can be witnessed by a new kind of term model which we call entwined structures. Whilst the set of all models is typically uncountable, the set of all entwined structures is recursively enumerable, and model checking is decidable

Alternatives for Navigating Small Unmanned Air Vehicles without GPS

Considering the increased reliance on GPS navigation for the Army’s Unmanned Aircraft Systems, adversaries have invested in capabilities to deny our systems access to genuine GPS signals. Although significant effort has been put forth in the areas of anti-jamming and anti-spoofing in GPS receivers, a need for alternative navigation methods in a GPS denied environment has grown in importance. This report outlines the recommendation and analysis completed for Mr. Lars Ericsson of the Army Project Manager Unmanned Aircraft Systems (PM-UAS).  The report includes background research in the domain space, comprehensive stakeholder analysis, derived system requirements and functional requirements, ending with alternative generation, value scoring, costing, and provided findings for a recommended alternative for future consideration. 

An evaluation of genotyping by sequencing (GBS) to map the <em>Breviaristatum-e (ari-e)</em> locus in cultivated barley

ABSTRACT: We explored the use of genotyping by sequencing (GBS) on a recombinant inbred line population (GPMx) derived from a cross between the two-rowed barley cultivar ‘Golden Promise’ (ari-e.GP/Vrs1) and the six-rowed cultivar ‘Morex’ (Ari-e/vrs1) to map plant height. We identified three Quantitative Trait Loci (QTL), the first in a region encompassing the spike architecture gene Vrs1 on chromosome 2H, the second in an uncharacterised centromeric region on chromosome 3H, and the third in a region of chromosome 5H coinciding with the previously described dwarfing gene Breviaristatum-e (Ari-e). BACKGROUND: Barley cultivars in North-western Europe largely contain either of two dwarfing genes; Denso on chromosome 3H, a presumed ortholog of the rice green revolution gene OsSd1, or Breviaristatum-e (ari-e) on chromosome 5H. A recessive mutant allele of the latter gene, ari-e.GP, was introduced into cultivation via the cv. ‘Golden Promise’ that was a favourite of the Scottish malt whisky industry for many years and is still used in agriculture today. RESULTS: Using GBS mapping data and phenotypic measurements we show that ari-e.GP maps to a small genetic interval on chromosome 5H and that alternative alleles at a region encompassing Vrs1 on 2H along with a region on chromosome 3H also influence plant height. The location of Ari-e is supported by analysis of near-isogenic lines containing different ari-e alleles. We explored use of the GBS to populate the region with sequence contigs from the recently released physically and genetically integrated barley genome sequence assembly as a step towards Ari-e gene identification. CONCLUSIONS: GBS was an effective and relatively low-cost approach to rapidly construct a genetic map of the GPMx population that was suitable for genetic analysis of row type and height traits, allowing us to precisely position ari-e.GP on chromosome 5H. Mapping resolution was lower than we anticipated. We found the GBS data more complex to analyse than other data types but it did directly provide linked SNP markers for subsequent higher resolution genetic analysis

Use of methods for specifying the target difference in randomised controlled trial sample size calculations : Two surveys of trialists' practice

© The Author(s), 2014.Peer reviewedPublisher PD